Transformations for Pattern - based Forward - Engineering

Software development raise the need for traceability, i.e. the ability to control the consistency between software artifacts produced at different stages of the software life-cycle. This traceability cannot be obtained without a systematic trans-formational approach to software development. In this paper, we present a new approach to the correct step-wise refinement of UML static and dynamic design models based on refinement schemas. A refinement schema is composed of two compartments. The first compartment describes the abstract model of the design and the second compartment shows its corresponding detailed model after application of one design pattern. We propose also a number of correct smaller transformations called micro-refinements. These mi-cro-refinements can be composed to produce correct refinement schemas. Our approach supports documentation and traceability, enhances evolvability, and helps automating detailed design.